(debug_output_compilation_hack): New function.

diff --git a/src/print.c b/src/print.c
index c36b9476f8283e90f4cbdcec805f80418dbaae58..ac8736d2aa48ee4fcbdbc09d153e2d54eda148ef 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -924,6 +924,15 @@ to make it write to the debugging output.  */)
   return character;
 }
 
+/* This function is never called.  Its purpose is to prevent
+   print_output_debug_flag from being optimized away.  */
+
+int
+debug_output_compilation_hack (x)
+     int x;
+{
+  print_output_debug_flag = x;
+}
 
 #if defined(GNU_LINUX)